System Level Modeling, Simulation And Verification Of A CAN Physical Layer Star Network Using Behavior Modeling Language
نویسندگان
چکیده
The star topology is sometimes used in automotive applications to overcome wiring constrains within a car. It has to be mentioned that star topology is neither covered by ISO11898 nor by SAE J2284 therefore it is recommended to prove the feasibility of a specific topology in each case by simulations or measurements on a system setup (NXP-Semiconductors 2006). This paper considers the verification of an 8-node CAN physical layer star network by using behavior modeling and simulation in comparison to measurement. The main purpose is to verify the CAN transceiver behavioral model together with other CAN physical layer simulation components against measurements at system level. The measurement environment of the CAN network modeling methodology is discussed, showing how to get the measurement and simulation results matched. This demonstrates that it is a reliable simulation solution, which is highly desirable and very important for the verification requirement in CAN physical layer design. Last but not least, the paper also shows that different network topologies at different transmission rates can also be simulated to gain better understand about the behavior of CAN network in the early phase of design process.
منابع مشابه
System Dynamics Modeling in Entrepreneurship Research: A Review of the Literature
System dynamics is a strategic approach for modeling complex systems and analyzing their behavior. Dynamic behavior in entrepreneurial system can be modeled using System Dynamics Approach and dynamic hypotheses about the system`s behavior can be proposed and tested using simulation and computer aided tools. However, as the review of literature shows, studies which link system dynamics modeling ...
متن کاملModeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism
In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...
متن کاملModeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism
In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...
متن کاملA Multi-Formalism Modeling Framework: Formal Definitions, Model Composition and Solution Strategies
In this paper, we present a multi-formalism modeling framework (abbreviated by MFMF) for modeling and simulation. The proposed framework is defined based on the concepts of meta-models and uses object-orientation to overcome the complexities and to enhance the extensibility. The framework can be used as a basis for modeling by various formalisms and to support model composition in a unified man...
متن کاملModeling and Simulation of Water Softening by Nanofiltration Using Artificial Neural Network
An artificial neural network has been used to determine the volume flux and rejections of Ca2+ , Na+ and Cl¯, as a function of transmembrane pressure and concentrations of Ca2+, polyethyleneimine, and polyacrylic acid in water softening by nanofiltration process in presence of polyelectrolytes. The feed-forward multi-layer perceptron artificial neural network including an eight-neuron hidde...
متن کامل